Basic Properties of Metrizable Topological Spaces

Basic Properties of Metrizable Topological Spaces

We continue Mizar formalization of general topology according to the book [16] by Engelking. In the article, we present the final theorem of Section 4.1. Namely, the paper includes the formalization of theorems on the correspondence between the cardinalities of the basis and of some open subcover, and a discreet (closed) subspaces, and the weight of that metrizable topological space. We also de...

Proto-metrizable fuzzy topological spaces

Uniform Properties and Hyperspaces of Metrizable Spaces

Two equivalent metrics can be compared, with respect to their uniform properties, in several different ways. We present some of them, and then use one of these conditions to characterize which metrics on a space induce the same lower Hausdorff topology on the hyperspace. Finally, we focus our attention to complete metrics.

some properties of fuzzy hilbert spaces and norm of operators

in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...

Clone Properties of Topological Spaces

Clone properties are the properties expressible by the first order sentence of the clone language. The present paper is a contribution to the field of problems asking when distinct sentences of the language determine distinct topological properties. We fully clarify the relations among the rigidity, the fix-point property, the image-determining property and the coconnectedness.